Classifying the phase transition threshold for Ackermannian functions
نویسندگان
چکیده
It is well known that the Ackermann function can be defined via diagonalization from an iteration hierarchy (of Grzegorczyk type) which is built on a start function like the successor function. In this paper we study for a given start function g iteration hierarchies with a sublinear modulus h of iteration. In terms of g and h we classify the phase transition for the resulting diagonal function from being primitive recursive to being Ackermannian.
منابع مشابه
Classifying the phase transition threshold for unordered regressive Ramsey numbers
Following ideas of Richer (2000) we introduce the notion of unordered regressive Ramsey numbers or unordered Kanamori-McAloon numbers. We show that these are of Ackermannian growth rate. For a given number-theoretic function f we consider unordered f -regressive Ramsey numbers and classify exactly the threshold for f which gives rise to the Ackermannian growth rate of the induced unordered f -r...
متن کاملSharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
We compute the sharp thresholds on g at which g-large and g-regressive Ramsey numbers cease to be primitive recursive and become Ackermannian. We also identify the threshold below which g-regressive colorings have usual Ramsey numbers, that is, admit homogeneous, rather than just min-homogeneous sets.
متن کاملInvestigation into the temperature dependence of isotropic- nematic phase transition of Gay- Berne liquid crystals
Density functional approach was used to study the isotropic- nematic (I-N) transition and calculate the values of freezing parameters of the Gay- Berne liquid crystal model. New direct and pair correlation functions of a molecular fluid with Gay- Berne pair potential were used. These new functions were used in density functional theory as input to calculate the isotropic- nematic transition den...
متن کاملPhase Transitions Related to the Pigeonhole Principle
Since Jeff Paris introduced them in the late seventies [Par78], densities turned out to be useful for studying independence results. Motivated by their simplicity and surprising strength we investigate the combinatorial complexity of two such densities which are strongly related to the pigeonhole principle. The aim is to miniaturise Ramsey’s Theorem for 1-tuples. The first principle uses an unl...
متن کاملQuantifying the threshold frost hardiness for over-wintering survival of wheat in Iran, using simulation
The value of frost tolerance in wheat is increased with decreasing the temperature in late autumn and/or early winter (phase I, acclimation), then shows plateau state for a period with the coldest temperature (II), finally appears to decrease with warming the temperature (III, de-acclimation). This study was aimed to determine the threshold frost hardiness in wheat for avoiding ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 158 شماره
صفحات -
تاریخ انتشار 2009